MisformedTypeSignature.agda:6,1-1
MisformedTypeSignature.agda:6,1: Illegal name in type signature: (f g)
<EOF><ERROR>
...
